翻訳と辞書 Words near each other ・ Clavatula gabonensis ・ Clavatula gracilior ・ Clavatula hattenbergeri ・ Clavatula helena ・ Clavatula imperialis ・ Clavatula knudseni ・ Clavatula kraepelini ・ Clavatula lelieuri ・ Clavatula marmarina ・ Clavatula martensi ・ Clavatula matthiasi ・ Clavatula milleti ・ Clavatula muricata ・ Clavatula mystica ・ Clavatula nathaliae ・ Clause (logic) ・ Clause 28 ・ Clause 49 ・ Clause Four Group ・ Clause IV ・ Clause-by-clause consideration ・ Clausen ・ Clausen function ・ Clausen Glacier ・ Clausen's formula ・ Clausen, Germany ・ Clausen, Luxembourg ・ Clausena ・ Clausena anisata ・ Clausena excavata Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Clause (logic) ： ウィキペディア英語版 Clause (logic) In logic, a clause is an expression formed from a finite collection of literals (variables or their negations) that is true either whenever at least one of the literals that form it is true (a disjunctive clause, the most common use of the term), or when all of the literals that form it are true (a conjunctive clause, a less common use of the term). That is, it is a finite disjunction or conjunction of literals, depending on the context. Clauses are usually written as follows, where the symbols $l\_i$ are literals: :$l\_1\; \backslash vee\; \backslash cdots\; \backslash vee\; l\_n$ ==Empty clauses== A clause can be empty (defined from an empty set of literals). The empty clause is denoted by various symbols such as $\backslash empty$, $\backslash bot$, or $\backslash Box$. The truth evaluation of an empty clause is always $false$. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Clause (logic)」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.